Books by author Zhiming Liu

Showing 1 – 20 out of 20 results

1. 

   Automated Technology for Verification and Analysis

   Zhiming Liu, Anders P. Ravn | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.93 €

   Sale 7 %

   You save 4.30 €

   Buy
2. 

   Engineering Trustworthy Software Systems

   Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   50.81 €

   Sale 9 %

   You save 5.42 €

   Buy
3. 

   Formal Methods and Hybrid Real-Time Systems

   Cliff B. Jones, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.93 €

   Sale 7 %

   You save 4.30 €

   Buy
4. 

   Domain Modeling and the Duration Calculus

   Chris George, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   56.10 €

   Buy
5. 

   Theoretical Aspects of Computing - ICTAC 2007

   Cliff B. Jones, Zhiming Liu, Jones Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.93 €

   Sale 7 %

   You save 4.30 €

   Buy
6. 

   Engineering Trustworthy Software Systems

   Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2019

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   58.84 €

   Sale 9 %

   You save 6.32 €

   Buy
7. 

   Theoretical Aspects of Computing - ICTAC 2022

   Helmut Seidl, Zhiming Liu, Corina S Pasareanu | Springer, Berlin, 2022

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.93 €

   Sale 7 %

   You save 4.30 €

   Buy
8. 

   Engineering Trustworthy Software Systems

   Jonathan P. Bowen, Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2018

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.93 €

   Sale 7 %

   You save 4.30 €

   Buy
9. 

   Theories of Programming and Formal Methods

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.93 €

   Sale 7 %

   You save 4.30 €

   Buy
10. 

    Formal Methods and Software Engineering

    Zhiming Liu, Jifeng He | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    103.46 €

    Sale 7 %

    You save 8.67 €

    Buy
11. 

    Unifying Theories of Programming and Formal Engineering Methods

    Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.93 €

    Sale 7 %

    You save 4.30 €

    Buy
12. 

    Formal Aspects of Component Software

    Jose Luiz Fiadeiro, Zhiming Liu, Jinyun Xue | Springer International Publishing AG, 2014

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.93 €

    Sale 7 %

    You save 4.30 €

    Buy
13. 

    Foundations of Health Informatics Engineering and Systems

    Zhiming Liu, Alan Wassyng | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    59.75 €

    Sale 0 %

    You save 0.05 €

    Buy
14. 

    Dependable Software Engineering: Theories, Tools, and Applications

    Xuandong Li, Zhiming Liu, Wang Yi | Springer International Publishing AG, 2015

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    49.79 €

    Sale 7 %

    You save 4.19 €

    Buy
15. 

    Theoretical Aspects of Computing -- ICTAC 2013

    Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.93 €

    Sale 7 %

    You save 4.30 €

    Buy
16. 

    Engineering Trustworthy Software Systems

    Zhiming Liu, Zili Zhang | Springer Nature Switzerland AG, 2020

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    50.81 €

    Sale 9 %

    You save 5.42 €

    Buy
17. 

    Engineering Trustworthy Software Systems

    Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu | Springer, Berlin, 2025

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    50.81 €

    Sale 9 %

    You save 5.42 €

    Buy
18. 

    Environmental Catalysis and Air Pollution Control

    Zhiming Liu, Chi He | MDPI AG, 2025

    
    

    In stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Hardback

    59.04 €

    Sale 18 %

    You save 12.97 €

    Buy
19. 

    Theoretical Aspects of Computing - ICTAC 2004

    Zhiming Liu, Keijiro Araki | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    103.46 €

    Sale 7 %

    You save 8.67 €

    Buy
20. 

    Engineering Trustworthy Software Systems

    Zhiming Liu, Zili Zhang | Springer International Publishing AG, 2016

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.93 €

    Sale 7 %

    You save 4.30 €

    Buy

We inform you about all changes of your order. Find out more